Gauss domain

唯一因子分解整环